//PA2-1
#include "cpu/exec/helper.h"
#include "memory/memory.h"

make_helper(leave) {
    cpu.esp = cpu.ebp;
    uint32_t new_ebp = swaddr_read(cpu.esp, 4);
    cpu.esp += 4;
    cpu.ebp = new_ebp;
    print_asm("leave");
    return 1;
}


